退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:GR(1)时态逻辑规范的反战略引导式细化
Rajeev Alur; Salar Moarref; Ufuk Topcu;
机译:通信过程的规范:时间逻辑与基于拒绝的改进
机译:模态和时间逻辑的规范最小化
机译:在线性时间逻辑,事件处理语言和属性规范模式中对合规性规范进行建模:关于可理解性的受控实验
机译:GR(1)时间逻辑规范的反策略指导性改进
机译:使用时间间隔逻辑指定分布式程序。
机译:在社区卫生工作者绩效逻辑模型的指导下对洪都拉斯AIN-C计划进行回顾性审查
机译:反战略引导GR(1)时间逻辑的细化 产品规格
机译:结果解释框架和PLC逻辑验证规范的指导性完善
机译:逻辑规格验证程序,逻辑规格验证装置和逻辑规格验证方法
机译:临时逻辑公式创建支持系统,临时逻辑公式创建支持方法和临时逻辑公式创建支持程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。